upper and lower bound proof

上下界验证